13.68/15.45	unsat
