15.80/15.94	unsat
