13.36/14.45	unsat
