5.18/7.94	unsat
