480.72/482.34	unsat
