13.46/15.15	unsat
