7.80/12.15	unsat
