13.45/14.95	unsat
