50.86/54.32	unsat
