47.83/49.79	unsat
