44.43/49.54	unsat
