14.06/15.39	unsat
