12.45/14.45	unsat
