14.34/14.45	unsat
