5.03/5.19	unsat
