13.80/15.40	unsat
