46.86/49.08	unsat
