10.33/12.14	unsat
